Nền tảng phân tích theo quy tắc AIMMS AIMMS

Nền tảng phân tích quy định AIMMS bao gồm ngôn ngữ mô hình đại số, môi trường phát triển tích hợp cho cả mô hình chỉnh sửa và tạo giao diện đồ họa người dùng xung quanh các mô hình này và môi trường người dùng cuối đồ họa.[7] AIMMS được liên kết với nhiều người giải thông qua Giao diện bộ giải mở AIMMS.[8] Các bộ giải được hỗ trợ bao gồm CPLEX, MOSEK, FICO Xpress, CBC, Conopt, MINOS, IPOPT, SNOPT, KNITRO và CP Tối ưu hóa.

AIMMS có sự pha trộn của các phong cách lập trình khai báo và mệnh lệnh. Việc xây dựng các mô hình tối ưu hóa diễn ra thông qua các yếu tố ngôn ngữ khai báo như tập hợp và chỉ mục, cũng như các tham số, biến và ràng buộc vô hướng và đa chiều, phổ biến cho tất cả các ngôn ngữ mô hình đại số và cho phép mô tả ngắn gọn về hầu hết các vấn đề trong miền tối ưu hóa toán học. Các đơn vị đo lường được hỗ trợ nguyên bản trong ngôn ngữ và phân tích đơn vị biên dịch và thời gian chạy có thể được sử dụng để phát hiện lỗi mô hình hóa.

Các thủ tục và báo cáo luồng điều khiển có sẵn trong AIMMS cho

  • việc trao đổi dữ liệu với các nguồn dữ liệu ngoài như bảng tính, cơ sở dữ liệu, tệp XML và tệp văn bản
  • nhiệm vụ trước và sau xử lý dữ liệu xung quanh các mô hình tối ưu hóa
  • xử lý sự kiện giao diện người dùng
  • việc xây dựng các thuật toán lai cho các loại vấn đề mà không có người giải quyết hiệu quả trực tiếp nào có sẵn.

Để hỗ trợ việc sử dụng lại các thành phần mô hình hóa phổ biến, AIMMS cho phép các nhà lập mô hình tổ chức mô hình của họ trong các thư viện mô hình người dùng.

AIMMS hỗ trợ một loạt các loại vấn đề tối ưu hóa toán học:

Độ không đảm bảo có thể được tính đến trong các mô hình tối ưu hóa số nguyên tuyến tính và hỗn hợp xác định trong AIMMS thông qua đặc điểm kỹ thuật của các thuộc tính bổ sung, như vậy có thể áp dụng các kỹ thuật tối ưu hóa ngẫu nhiên hoặc mạnh mẽ cùng với các kỹ thuật giải pháp xác định hiện có.

Các thuật toán phân tách và lai tùy chỉnh có thể được xây dựng bằng thư viện hệ thống GMP, có sẵn ở cấp độ mô hình hóa nhiều khối xây dựng cơ bản được sử dụng bên trong bởi các phương pháp giải pháp cấp cao hơn có trong AIMMS, phương pháp sửa đổi ma trận, cũng như các bước chuyên biệt để tùy chỉnh giải pháp thuật toán cho các loại vấn đề cụ thể.

Các giải pháp tối ưu hóa được tạo bằng AIMMS có thể được sử dụng như một ứng dụng độc lập hoặc có thể được nhúng như một thành phần phần mềm trong các ứng dụng khác.